home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.rock;
-
- import java.awt.Component;
- import java.awt.Cursor;
- import java.awt.event.MouseAdapter;
- import java.awt.event.MouseEvent;
- import java.util.EventObject;
- import javax.swing.table.JTableHeader;
-
- class RTable$2 extends MouseAdapter {
- // $FF: synthetic field
- final RTable this$0;
- RTable table;
-
- public void mousePressed(MouseEvent var1) {
- JTableHeader var2 = (JTableHeader)((EventObject)var1).getSource();
- if (((Component)var2).getCursor() != Cursor.getPredefinedCursor(11)) {
- int var3 = this.this$0.getTableHeader().columnAtPoint(var1.getPoint());
- if (var3 >= 0) {
- this.table.headerClick(var1, var3);
- }
-
- }
- }
-
- RTable$2(RTable var1) {
- this.this$0 = var1;
- this.table = this.this$0;
- }
- }
-